Priorities in process algebras
نویسندگان
چکیده
منابع مشابه
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time
The modeling and analysis experience with process algebras has shown the necessity of extending them with priority, probabilistic internal/external choice, and time in order to be able to faithfully model the behavior of real systems and capture the properties of interest. An important open problem in this scenario is how to obtain semantic compositionality in the presence of all these mechanis...
متن کاملPriority in Process Algebras
This paper surveys the semantic rami cations of extending traditional process algebras with notions of priority that allow for some transitions to be given precedence over others. These enriched formalisms allow one to model system features such as interrupts, prioritized choice, or real-time behavior. Approaches to priority in process algebras can be classi ed according to whether the induced ...
متن کاملProcess Algebras
ion Processes do not limit the number of connections that can be made at a given interaction point. But interaction points allow interference. For the synthesis of compact, minimal and compositional systems, the ability to restrict interference is crucial. The hiding operator, −/L, hides (i.e., transforms into τ-actions) all actions in L to forbid synchronization on them. However, itallows the ...
متن کاملProcess Algebras in Systems Biology
In this chapter we introduce process algebras, a class of formal modelling techniques developed in theoretical computer science, and discuss their use within systems biology. These formalisms have a number of attractive features which make them ideal candidates to be intermediate, formal, compositional representations of biological systems. As we will show, when modelling is carried out at a su...
متن کاملExpressiveness of Process Algebras
We examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1990
ISSN: 0890-5401
DOI: 10.1016/0890-5401(90)90059-q